Did you know ... | Search Documentation: |
![]() | Pack logtalk -- logtalk-3.81.0/docs/_sources/bfs_interpreter_0.rst.txt |
.. index:: bfs_interpreter .. _bfs_interpreter/0:
.. rst-class:: right
object
bfs_interpreter
Breadth-first interpreter for general logic programs.
| Availability:
| logtalk_load(verdi_neruda(loader))
| Author: Victor Lagerkvist | Version: 1:0:0 | Date: 2010-06-13
| Compilation flags:
| static, context_switching_calls
| Implements:
| public
:ref:`interpreterp <interpreterp/0>`
| Uses:
| :ref:`counter <counter/0>`
| :ref:`queue <queue/0>`
| Remarks: | (none)
| Inherited public predicates: | Â :ref:`interpreterp/0::prove/2` Â :ref:`interpreterp/0::prove/3` Â
.. contents:: :local: :backlinks: top
(no local declarations; see entity ancestors if any)
(no local declarations; see entity ancestors if any)
(no local declarations; see entity ancestors if any)
(none)