Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  * Copyright The Sett Ltd, 2005 to 2014.
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * See the License for the specific language governing permissions and
 * limitations under the License.
package com.thesett.aima.logic.fol.wam.builtins;
Unifies is the ISO Prolog built in operator '='/2. It performs a standard unification (no occurs check) on its left and right arguments, possibly binding variables as a result of the unification, and succeeds iff the unification succeeds.

CRC Card
Responsibilities Collaborations
Unify the left and right arguments of the unify operator.

Rupert Smith
public class Unifies extends BaseBuiltIn
Creates a cut built-in to implement the specified functor.

functor The functor to implement as a built-in.
defaultBuiltIn The default built in, for standard compilation and interners and symbol tables.
    public Unifies(Functor functorDefaultBuiltIn defaultBuiltIn)

    public SizeableLinkedList<WAMInstructioncompileBodyArguments(Functor expressionboolean isFirstBody,
        FunctorName clauseNameint bodyNumber)
        return new SizeableLinkedList<WAMInstruction>();

    public SizeableLinkedList<WAMInstructioncompileBodyCall(Functor expressionboolean isFirstBody,
        boolean isLastBodyboolean chainRuleint permVarsRemaining)
        return new SizeableLinkedList<WAMInstruction>();

Creates a string representation of this functor, mostly used for debugging purposes.

A string representation of this functor.
    public String toString()
        return "Unifies: [ arguments = " + toStringArguments() + " ]";
New to GrepCode? Check out our FAQ X