You can create API instance, that can receive JSON (format will be described later) or Prolog and send it back transform in other format. Also, it allows you to compile code and get result in both ...

file containing the predicate definitions for the requested familial relations defines predicates for parent, sibling, nth cousin, nth cousin k-times-removed, grandparent, and kth child. My ...

Abstract: In this paper we address the problem of efficiently implementing HiLog, a logic programming language with higher-order syntax and first-order semantics. In contrast to approaches proposed in ...