gnu.prolog.vm.buildins.list
Class Predicate_append

java.lang.Object
  gnu.prolog.vm.ExecuteOnlyCode
      gnu.prolog.vm.buildins.list.Predicate_append

All Implemented Interfaces:

Installable, PrologCode

public class Predicate_append
extends ExecuteOnlyCode

TODO Does:

 %append(?HeadList, ?TailList, ?List)
 append([],X,X).
 append([X|Xs],Y,[X|Z]) :- append(Xs,Y,Z).
 

But without recursion

Author:

Daniel Thomas based on Predicate_member by Michiel Hendriks

Nested Class Summary

protected static class

Predicate_append.AppendBacktrackInfo

Field Summary

Fields inherited from interface gnu.prolog.vm.PrologCode

FAIL, HALT, SUCCESS, SUCCESS_LAST

Constructor Summary

Predicate_append()

Method Summary

int	execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code
protected int	nextSolution(Interpreter interpreter, Predicate_append.AppendBacktrackInfo bi)

Methods inherited from class gnu.prolog.vm.ExecuteOnlyCode

install, uninstall

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Predicate_append

public Predicate_append()

Method Detail

execute

public int execute(Interpreter interpreter,
                   boolean backtrackMode,
                   Term[] args)
            throws PrologException

Description copied from interface: PrologCode

this method is used for execution of code

Specified by:

execute in interface PrologCode

Specified by:

execute in class ExecuteOnlyCode

Parameters:

interpreter - interpreter in which context code is executed

backtrackMode - true if predicate is called on backtracking and false otherwise

args - arguments of code

Returns:

either SUCCESS, SUCCESS_LAST, or FAIL.

Throws:

PrologException

nextSolution

protected int nextSolution(Interpreter interpreter,
                           Predicate_append.AppendBacktrackInfo bi)
                    throws PrologException

Parameters:

interpreter -

bi -

Returns:

Throws:

PrologException