xsb

7Hitze

1Antwort

Hilog-Ausdrücke in (XSB) Prolog

Werden Hilog-Ausdrücke (d. H. Verbindungen mit als Funktoren beliebigen Termen) immer noch als mächtiges Merkmal in XSB Prolog (oder einem anderen Prolog) betrachtet? Gibt es viele XSB-Projekte, die d

prolog iso-prolog xsb meta-predicate 2013-03-18

---