What about this?
Ciao 1.13.0-7229: Wed Nov 29 19:37:42 CET 2006 ?- use_module(library(filenames)). Note: module filenames already in executable, just made visible
yes ?- no_path_file_name('/this/is/a/path/file.pl',F).
F = 'file.pl' ?
yes ?-
Daniel
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------