Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

urvishjarvis1/unificationalgorithm

Open more actions menu

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

unificationalgorithm

The Prolog Unification algorithm

Input rules for program to get a valid output

  • The function name and constants are provided via small case letter
    • i.e. f(a) is valid input
  • The variables should provided via capital case letter
    • i.e. X,f(X,Y)

Releases

No releases published

Packages

No packages published

Languages

Morty Proxy This is a proxified and sanitized view of the page, visit original site.