This is an old revision of this page, as edited by Qwertyus(talk | contribs) at 23:12, 5 February 2015(redirect to logic programming because the issues raised at the talk page have not been solved, and the article as it stands depends almost entirely on original research). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 23:12, 5 February 2015 by Qwertyus(talk | contribs)(redirect to logic programming because the issues raised at the talk page have not been solved, and the article as it stands depends almost entirely on original research)