Prolog (Computer program language) Artificial intelligence 3 Logic programming 3 Automatic control 2 Congresses 1 Data processing 1 Database management 1 Distributed processing 1 Electronic data processing 1 Expert systems (Computer science) 1 Image processing 1 Knowledge representation (Information theory) 1 LISP (Computer program language) 1 MYCIN (Computer system) 1 Microcomputers 1 MuPROSPECTOR (Computer system) 1 Natural language processing (Computer science) 1 Negation (Logic) 1 Parallel programming (Computer science) 1 Parsing (Computer grammar) 1 Problem solving 1 Programming 1 Programming languages (Electronic computers) 1 Simulation methods 1