From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: "Tim Morley \(remove vegetable for email address\)" Newsgroups: gmane.emacs.help Subject: Prolog TAGS -- how to detect facts as well as clauses. Date: Fri, 17 Jan 2003 15:21:07 +0100 Organization: Guest of France Telecom Oleane's newsreading service Sender: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: main.gmane.org 1042813226 32676 80.91.224.249 (17 Jan 2003 14:20:26 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 17 Jan 2003 14:20:26 +0000 (UTC) Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18ZXM5-0008Ui-00 for ; Fri, 17 Jan 2003 15:20:21 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18ZXMe-0008Mk-06 for gnu-help-gnu-emacs@m.gmane.org; Fri, 17 Jan 2003 09:20:56 -0500 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!news.gtei.net!newsfeed.mathworks.com!oleane.net!oleane!nnrp.oleane.net!not-for-mail Original-Newsgroups: gnu.emacs.help Original-Lines: 26 Original-NNTP-Posting-Host: 194.206.222.73 Original-X-Trace: s1.read.news.oleane.net 1042813200 31994 194.206.222.73 (17 Jan 2003 14:20:00 GMT) Original-X-Complaints-To: abuse@oleane.net Original-NNTP-Posting-Date: Fri, 17 Jan 2003 14:20:00 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Original-Xref: shelby.stanford.edu gnu.emacs.help:109076 Original-To: help-gnu-emacs@gnu.org X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1b5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Help: List-Post: List-Subscribe: , List-Archive: List-Unsubscribe: , Errors-To: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Xref: main.gmane.org gmane.emacs.help:5604 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:5604 I use M-. a lot while writing Prolog in Emacs to find definitions of predicates. What I would like, though, is also to be able to find *facts*, preferably using the same keyboard shortcut. Illustration: say I have the following predicate: foo(X, Z) :- first(X, Y), second(Y, Z). I want to find out what first/2 does, so I do a M-. first RET and it takes me to the definition of first, whatever file it's in within the project: first(X,Y) :- (X>2 -> Y=true ; Y=false). However, if first/2 is just a fact, or a series of facts: first(1, false). first(2, false). first(3, true). first(4, true). then M-. doesn't find it. Is there a parameter I can change in etags to be able to find facts from the TAGS table?