Did you know ... | Search Documentation: |
Pack logtalk -- logtalk-3.85.0/docs/_sources/heuristic_expansion_1.rst.txt |
.. index:: heuristic_expansion(Mode)
.. _heuristic_expansion/1:
.. rst-class:: right
object
heuristic_expansion(Mode)
Expands rules of the form p if f and g to rule(p, [f,g|Tail], Length, Tail)
.
| Availability:
| logtalk_load(verdi_neruda(loader))
| Author: Victor Lagerkvist | Version: 1:0:2 | Date: 2022-10-08
| Compilation flags:
| static, context_switching_calls
| Implements:
| public
:ref:`expanding <expanding/0>`
| Extends:
| public
:ref:`rule_expansion(Mode)
<rule_expansion/1>`
| Uses:
| :ref:`list <list/0>`
| Remarks: | (none)
| Inherited public predicates: | Â :ref:`expanding/0::goal_expansion/2` Â :ref:`expanding/0::term_expansion/2` Â
.. 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)