predicate-logic programming

predicate-logic programming is a research_field in our research taxonomy.