IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
From MaRDI portal
Publication:3835050
DOI10.1080/03081078908935037zbMath0678.68092MaRDI QIDQ3835050
Publication date: 1989
Published in: International Journal of General Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/03081078908935037
PROLOG; multivalued logic; unification; Post algebras; language design; PROLOG extensions for circuit design
DB lookup for MSC labels failed