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

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

i dont know of an out of the box solution - never the less this might be a good stating point:


Need professional support for Xtext, Xpand, EMF?
Go to:
Twitter : @chrdietrich
Blog :
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