Thread: anyone make any sense of this

  1. #1
    Unregistered
    Guest

    anyone make any sense of this

    Anyone make any sense of this. I can't even figure out what the question is asking.
    Using C|C++ implement the unification algorithm:

    uni f(f(f(x,y),x),f(f(v,u),g(u,y))):
    -{x->g(u,u),v ->g(u,u),y->u}
    -f(f(g(u,u),u),g(u,u))

    your program should have the same behaviour as the unify with occurs check(term1,term2) build-in predicate of Gnu Prolog. Term 1 and Term 2 are 2 terms where:
    -variables are in upper case letter.
    -function symbols are in lower case letters.

    If anyone know what this means let me know.

  2. #2
    Registered User
    Join Date
    Sep 2001
    Posts
    4

    hmm

    hmm looks like some sort of recursion using the uni function

  3. #3
    Registered User kitten's Avatar
    Join Date
    Aug 2001
    Posts
    109
    Code:
    uni f(f(f(x,y),x),f(f(v,u),g(u,y))): 
    -{x->g(u,u),v ->g(u,u),y->u} 
    -f(f(g(u,u),u),g(u,u))
    I'd say that this is not a C/C++ syntax.
    Making error is human, but for messing things thoroughly it takes a computer

  4. #4
    Registered User
    Join Date
    Oct 2001
    Posts
    1
    Looks like Lisp... Or Scheme perhaps. Any functional language if you ask me.

  5. #5
    Unregistered
    Guest
    well i know the unification function is written in prolog and we have to do it in c. but i don't know much about prolog or what this all means. so pretty much i'm not sure where to start with this.

  6. #6
    Unregistered
    Guest
    Stay off the blue pills

  7. #7
    Unregistered
    Guest
    ttt

Popular pages Recent additions subscribe to a feed

Similar Threads

  1. Does this even remotely make sense
    By hckr83 in forum C Programming
    Replies: 6
    Last Post: 12-23-2005, 05:02 PM
  2. want to make this small program...
    By psycho88 in forum C++ Programming
    Replies: 8
    Last Post: 11-30-2005, 02:05 AM
  3. Question about atheists
    By gcn_zelda in forum A Brief History of Cprogramming.com
    Replies: 160
    Last Post: 08-11-2003, 11:50 AM
  4. 'functions' in make?
    By mart_man00 in forum C Programming
    Replies: 1
    Last Post: 06-21-2003, 02:16 PM
  5. Foreigners don't make sense
    By Shadow in forum A Brief History of Cprogramming.com
    Replies: 19
    Last Post: 04-25-2002, 02:31 PM