second order logic programming and thematic role based logicprogrammingThis is a discussion on second order logic programming and thematic role based logicprogramming within the PROLOG forums in Programming Languages category; Im not a great programmer so im looking for fairly simple introductions into second order logic programming. I really just want to be able to quantify over a set of finite predicates {the set of finite predicates availible in the knowledge base}. Also if anyone knows anything about thematic roles and could help me find a logic programinng lanquage based on that. I'd be ecstatic.... | ||||||||
| | ||||||||
| ||||||||
| Register | FAQ | Calendar | Search | Today's Posts | Mark Forums Read |
|
#1
08-06-2008, 10:26 PM
| |||
| |||
 second order logic programming and thematic role based logicprogramming Im not a great programmer so im looking for fairly simple introductions into second order logic programming. I really just want to be able to quantify over a set of finite predicates {the set of finite predicates availible in the knowledge base}. Also if anyone knows anything about thematic roles and could help me find a logic programinng lanquage based on that. I'd be ecstatic.  |
|
#2
08-12-2008, 11:14 PM
| |||
| |||
| Re: second order logic programming and thematic role based logicprogramming On 7 ΑΧΗ, 09:26, Sean Clarke <sea...@gmail.com> wrote: > Im not a great programmer so im looking for fairly simple > introductions into second order logic programming. I really just want > to be able to quantify over a set of finite predicates {the set of > finite predicates availible in the knowledge base}. > > Also if anyone knows anything about thematic roles and could help me > find a logic programinng lanquage based on that. I'd be ecstatic. See XSB, for example. http://xsb.sourceforge.net --Pavel |
 |
« Previous Thread
|
Next Thread »
| Thread Tools | |
| Display Modes | |
Linear Mode
All times are GMT -5. The time now is 04:07 PM.
