Eclipse Community Forums: TMF (Xtext) » first-order logic / predicate logic grammar in xtext

Help

Home

Home » Modeling » TMF (Xtext) » first-order logic / predicate logic grammar in xtext

Show: Today's Messages :: Show Polls :: Message Navigator

first-order logic / predicate logic grammar in xtext [message #903948]

Mon, 27 August 2012 12:04

Missing name Mising name

Messages: 16
Registered: March 2010

Junior Member

Hi,

does anyone here know where I could get an xtext grammar for first-order logic (predicate logic)? A good starting point would help me, too.

Thanks in advance!

[Updated on: Mon, 27 August 2012 12:55]

Report message to a moderator

Re: first-order logic / predicate logic grammar in xtext [message #903962 is a reply to message #903948]

Mon, 27 August 2012 12:58

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi,

i dont know of an out of the box solution - never the less this might be a good stating point:
http://blog.efftinge.de/2010/08/parsing-expressions-with-xtext.html

~Christian

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Previous Topic:	Books on Xtext
Next Topic:	Help Project Wizard

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 10:22:05 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter