A logic programming system based on cortege algebra

zbMath0835.68109MaRDI QIDQ1901564

B. A. Kulik

Publication date: 7 January 1996

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

cortege algebrapredicate-calculus models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

This page was built for publication: A logic programming system based on cortege algebra