Main construct of logic programming paradigm

Question

We say that:

in procedural paradigm the main construct is the 'procedure';
in OOP paradigm the main construct is the 'object';
in functional paradigm the main construct is the 'function';

but what's in logic paradigm? axiom? predicate?

I'm confused.

I'd say logic clauses such as facts (A is true) or rules (A is true if B is true). — Bernhard Barker, Jan 30 '13 at 16:18
Is this a terminology question? Clearly, it's a statement of the form "...(...) :- ...". — Patrick87, Jan 30 '13 at 16:37

Guy Coder · Answer 1 · 2013-01-31T12:06:15.447

Horn Clauses

From Wikipeida

Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:

In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming and the programming language Prolog.

EDIT

Since OP is trying to relate predicates (first-order predicate logic) to horn clauses

See: Translation of first-order predicate logic to horn clause logic: in Logic Programming by Anthony A. Aaby

I tried to reproduce the instructions here to avoid link rot, but I could not figure out how to put a list in a quoted section.

Is it different from the predicate? – xdevel2000 Jan 31 '13 at 09:29 — xdevel2000, Jan 31 '13 at 09:29

Main construct of logic programming paradigm

1 Answers1