Logic programming Congresses 45 Artificial intelligence 8 Programming languages (Electronic computers) 8 Algebraic logic 5 Automatic theorem proving 4 Logic, Symbolic and mathematical 4 Prolog (Computer program language) 3 Nonclassical mathematical logic 2 Nonmonotonic reasoning 2 Semantics 2 Adaptive control 1 Adaptive control systems 1 Computer algorithms 1 Computer programming 1 Computer science 1 Constraint programming (Computer science) 1 Data processing 1 Database design 1 Expert systems (Computer science) 1 Fuzzy systems 1 Horn clauses 1 Lyapunov functions 1 Natural language processing (Computer science) 1 PARLOG (Computer program language) 1 Parallel processing (Electronic computers) 1 Parallel programming (Computer science) 1 Proof theory 1 Reasoning 1 Relational databases 1