Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » TMF (Xtext) » first-order logic / predicate logic grammar in xtext
first-order logic / predicate logic grammar in xtext [message #903948] Mon, 27 August 2012 12:04 Go to next message
Missing name Mising name is currently offline Missing name Mising nameFriend
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 Go to previous message
Christian Dietrich is currently offline Christian DietrichFriend
Messages: 13661
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


Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de
Previous Topic:Books on Xtext
Next Topic:Help Project Wizard
Goto Forum:
  


Current Time: Thu Nov 26 18:20:57 GMT 2020

Powered by FUDForum. Page generated in 0.01540 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top