Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
English.lproj		English.lproj
ObjcProlog.xcodeproj		ObjcProlog.xcodeproj
Resources		Resources
wam_interpreter		wam_interpreter
Binding.h		Binding.h
Binding.m		Binding.m
BuiltinPredicate.h		BuiltinPredicate.h
BuiltinPredicate.m		BuiltinPredicate.m
Clause.h		Clause.h
Clause.m		Clause.m
FunctionTerm.h		FunctionTerm.h
FunctionTerm.m		FunctionTerm.m
GNUmakefile		GNUmakefile
GNUmakefile.postamble		GNUmakefile.postamble
GNUmakefile.preamble		GNUmakefile.preamble
Goal.h		Goal.h
Goal.m		Goal.m
InfixExpression.h		InfixExpression.h
InfixExpression.m		InfixExpression.m
Info.plist		Info.plist
LICENSE		LICENSE
ListIterator.h		ListIterator.h
ListIterator.m		ListIterator.m
ListTerm.h		ListTerm.h
ListTerm.m		ListTerm.m
NSOutputStream_Printf.h		NSOutputStream_Printf.h
NSOutputStream_Printf.m		NSOutputStream_Printf.m
NamedVariable.h		NamedVariable.h
NamedVariable.m		NamedVariable.m
NestedStructureIterator.h		NestedStructureIterator.h
NestedStructureIterator.m		NestedStructureIterator.m
NumericTerm.h		NumericTerm.h
NumericTerm.m		NumericTerm.m
ObjcProlog.h		ObjcProlog.h
ObjcProlog_Prefix.pch		ObjcProlog_Prefix.pch
PostfixExpression.h		PostfixExpression.h
PostfixExpression.m		PostfixExpression.m
PrefixExpression.h		PrefixExpression.h
PrefixExpression.m		PrefixExpression.m
Prolog.h		Prolog.h
Prolog.m		Prolog.m
ProofTree.h		ProofTree.h
ProofTree.m		ProofTree.m
README		README
README.md		README.md
Relation.h		Relation.h
Relation.m		Relation.m
Structure.h		Structure.h
Structure.m		Structure.m
Term.h		Term.h
Term.m		Term.m
Unify.h		Unify.h
Unify.m		Unify.m
VariableTerm.h		VariableTerm.h
VariableTerm.m		VariableTerm.m
main.m		main.m
parse.ym		parse.ym
prolog.h		prolog.h
startup.pl		startup.pl
tokenise.lm		tokenise.lm

Repository files navigation

objective_prolog

A simple Prolog interpreter written in Objective-C

License

rdale/objective_prolog

Folders and files

Latest commit

History

Repository files navigation

objective_prolog

About

Resources

License

Stars

Watchers

Forks

Languages