Logica extends syntax of logic programming for intuitive and efficient data   manipulation. It compiles to SQL thus providing you access to the pow

Logica | Modern Logic Programming

submited by
Style Pass
2023-05-24 04:30:04

Logica extends syntax of logic programming for intuitive and efficient data manipulation. It compiles to SQL thus providing you access to the power of SQL engines with the convenience of logic programming syntax.

One may say that for programming languages like Python and Java functions are the basic building blocks. For Logica and other logic programming languages those building blocks are predicates. Logic program is defined as a set of rules that define output predicates from pre-defied predicates. Those pre-defined predecates represent input data. For example here is a rule to identify names of expensive books, from an existing table of book prices.

If you are familiar with SQL, you may see that the rule above is equivalent to the flowing SQL statement. Not that familiarity with SQL is required to learn Logica, not at all.

Finally here is an example of program that runs over GDELT Project dataset, finding people mentioned in the context of "artificial general intelligence".

Leave a Comment