Open AccessFeatures of logical inference in PROLOG-programs
Author(s) -
Sergey F. Tyurin,
A. Yu. Gorodilov
Publication year - 2019
Publication title -
vestnik permskogo universiteta. matematika, mehanika, informatika
Language(s) - English
Resource type - Journals
ISSN - 1993-0550
DOI - 10.17072/1993-0550-2019-3-91-97
Subject(s) - prolog , inference , programming language , computer science , backward chaining , inference engine , artificial intelligence