.. index:: interpreterp .. _interpreterp/0:

.. rst-class:: right

protocol

interpreterp

Protocol for an interpreter.

| Availability: | logtalk_load(verdi_neruda(loader))

| Author: Victor Lagerkvist | Version: 1:0:0 | Date: 2010-06-13

| Compilation flags: | static

| Dependencies: | (none)

| Remarks: | (none)

| Inherited public predicates: | (none)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: prove/2 .. _interpreterp/0::prove/2:

prove/2 ^^^^^^^^^^^

True if goal is provable in the specified database.

| Compilation flags: | static

| Template: | prove(Goal,DB) | Mode and number of proofs: | prove(+goal,+database) - zero_or_more

---

.. index:: prove/3 .. _interpreterp/0::prove/3:

prove/3 ^^^^^^^^^^^

True if goal is provable within the given depth-limit in the specified database.

| Compilation flags: | static

| Template: | prove(Goal,Limit,DB) | Mode and number of proofs: | prove(+goal,+limit,+database) - zero_or_more

---

Protected predicates

(none)

Private predicates

(none)

Operators

(none)