Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

demo.tucson.philo
Class PrologPhilo  view PrologPhilo download PrologPhilo.java

java.lang.Object
  extended bydemo.tucson.philo.PrologPhilo

class PrologPhilo
extends java.lang.Object

the prolog philosopher running on the tuprolog virtual machine


Constructor Summary
(package private) PrologPhilo(java.lang.String name, alice.tucson.TupleCentreId tid)
           
 
Method Summary
(package private)  java.lang.String makeTheory(alice.tucson.TupleCentreId tid, java.lang.String name)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrologPhilo

PrologPhilo(java.lang.String name,
            alice.tucson.TupleCentreId tid)
Method Detail

makeTheory

java.lang.String makeTheory(alice.tucson.TupleCentreId tid,
                            java.lang.String name)