Keith A. Pray : Home : Academic : Machine Learning : Analytical : Report : Experiments : ackermann-short

Keith A. Pray - Professional and Academic Site

About Me

·	Home
·	Personal Site
·

Professional

·	Brief Biography
·	Recommendations
·	Resume
·	More...

Academic

·	ASAS Home
·	Animation
·	Lan Wan
·	Machine Learning
·	AI in Design
·	MQP: Cue
·	Ph.D. Home
·	MS Thesis
·	More...

Teaching

·	Social Implications Of Information Processing
·	Web Ware

Printer Friendly Version

Experiments

[ Intro ]	[ ackermann-long ]	[ ackermann-short ]
[ crx-long ]	[ crx-short ]	[ member-long ]
[ member-short ]	[ ncm-long ]	[ ncm-short ]
[ qs44-long ]	[ qs44-short ]	[ sort-long ]
[ sort-short ]

[ data ] [ Up: Report ]

FOIL 6.4   [January 1996]
--------

    Options:
	verbosity level 0

Relation Ackermann

Relation *succ

----------
Ackermann:

Ackermann(0,B,C) :- succ(B,C).
Ackermann(A,0,C) :- succ(0,D), succ(E,A), Ackermann(E,D,C).
Ackermann(A,B,C) :- succ(D,A), succ(E,B), Ackermann(A,E,F), Ackermann(D,F,C).

Time 7.7 secs

by: Keith A. Pray
Last Modified: July 4, 2004 9:03 AM

Kapowee Hosted | Kapow Generated in 0.009 second | XHTML | CSS