Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3
From MaRDI portal
Publication:5398305
DOI10.1017/S1471068413000434zbMath1286.68047MaRDI QIDQ5398305
Joachim Jansen, Albert Jorissen, Gerda Janssens
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
program transformationtablinglogic programmingdeclarative modelingknowledge base systemsIDP systemFO\((\cdot)\)
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items
Terminating Evaluation of Logic Programs with Finite Three-Valued Models, Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3, Writing Declarative Specifications for Clauses
Uses Software
Cites Work
