Open AccessFinding Finite Herbrand Models
Author(s) -
Stefan Borgwardt,
Barbara Morawska
Publication year - 2011
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.25368/2022.182
Subject(s) - unary operation , unification , mathematics , class (philosophy) , exponential function , horn clause , function (biology) , algorithm , discrete mathematics , computer science , theoretical computer science , programming language , prolog , artificial intelligence , mathematical analysis , evolutionary biology , biology