Program Analysis using Prolog or XSB. 
Author Message
 Program Analysis using Prolog or XSB.

Consider the following simple object-oriented logic program that uses an
extended Horn syntax:

rule 1 -        o1:p(X) <- q(X).
rule 2 -        o1:q(a).

rule 3 -        o2:q(b).

rule 4 -        o2<01.

The interpretation of the above rules are as follows: the predicate p(X)
is true in object o1 if q(X) is true in o1. Similarly, the predicate
q(a) is true in object o1, and q(b) in o2. Rule 4 says that o2 is an
instance/subclass of o1.



Sat, 03 Jul 1999 03:00:00 GMT  
 Program Analysis using Prolog or XSB.

Consider the following simple object-oriented logic program that uses an
extended Horn syntax:

rule 1 -        o1:p(X) <- q(X).
rule 2 -        o1:q(a).

rule 3 -        o2:q(b).

rule 4 -        o2<01.

The interpretation of the above rules are as follows: the predicate p(X)
is true in object o1 if q(X) is true in o1. Similarly, the predicate
q(a) is true in object o1, and q(b) in o2. Rule 4 says that o2 is an
instance/subclass of o1.

Does anyone know if Prolog or XSB can be used to analyze the program
above to conclude that a predicate p/1 (predicate p of arity 1) is
defined in o1 but not in o2. This perhaps requires inspection of the
syntactic properties of the program. Note that in absence of rule 2, p/1
is not true in o1 while it is defined in o1.

Any pointer to similar works will be appreciated.

Cheers,
 - Hasan.



Sat, 03 Jul 1999 03:00:00 GMT  
 Program Analysis using Prolog or XSB.


Quote:
> Consider the following simple object-oriented logic program that uses an
> extended Horn syntax:
> Does anyone know if Prolog or XSB can be used to analyze the program

Of course.  Its a SMOP (simple matter of programming).  NUOO-Prolog does
similar analysis to translate the OO program into ordinary Prolog.  See
http://www.cs.mu.oz.au/~lee/src/oolp

        lee



Sat, 03 Jul 1999 03:00:00 GMT  
 
 [ 3 post ] 

 Relevant Pages 

1. SWI-prolog or XSB-prolog

2. Congrats to the XSB team for XSB 2.3!

3. Domain Analysis for Prolog Programs

4. Numerical analysis (scientific programming) using lisp

5. Newbie request for help installing XSB Prolog

6. XSB (prolog) compilation failure

7. XSB prolog/oracle

8. Help: how to use multifile under XSB prolog.

9. XSB-Prolog for HP-UX ???

10. XSB Available by FTP (Tabling Prolog)

11. HELP: using overlays with Prolog programs (PDC)

12. Prolog Analysis Package

 

 
Powered by phpBB® Forum Software