Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.
This is a prototype tool to help port a plain Prolog application to Logtalk. It can also be used to enable applying other Logtalk developer tools, such as the documenting and diagramming tools, to plain Prolog code.
The tool takes a directory of Prolog files or a list of Prolog files, loads
and wraps the code in each file using an object wrapper, and advises on missing
directives to be added to those objects by using the compiler lint checker and
the reflection API. The user can then either save the generated wrapper objects
or copy and paste the printed advice into the Prolog files (updating them to
Logtalk files by adding the object opening and closing directives to the Prolog
files). The wrapper objects use
include/1 directives to include the Prolog
files and can be loaded for testing and for use with other tools. The wrapped
Prolog files are not modified and thus require only read permission.
This tool API documentation is available at:
This tool can be loaded using the query:
| ?- logtalk_load(wrapper(loader)).
The typical porting workflow is simply:
| ?- wrapper::rdirectory(root_directory_of_prolog_code). ... | ?- wrapper::save. ...
See the next section on how to customize the API calls for more flexible processing.
The tool can be customized by extending the
wrapper object. A common
scenario is when wrapping plain Prolog code just to take advantage, for
example, of the documenting tool or for generating cross-referencing
diagrams. In this case, we can workaround any compiler errors by
specializing the inherited definitions for the
goal_expansion/2 predicates and then load the wrapper objects for
further processing by using the
The API predicates also accept a set of options for customization:
list of file name extensions used to recognize Prolog source files (default is
['.pl', '.pro', '.prolog'])
Logtalk file name extension to be used for the generated wrapper files (default is
list of Prolog source files to exclude (default is
list of sub-directories to exclude (default is
include/1directives for the wrapped Prolog source files (default is
The tool cannot deal with syntax errors in the Prolog files. These errors usually occur when using a backend Prolog system different from the one used to compile the original plain Prolog code. A common cause of syntax errors are operator definitions. These can often be solved by defining those operators for the Prolog backend used to run Logtalk and this tool. An alternative is to preload the Prolog files where those operators are declared. Preloading the plain Prolog application can also help in wrapping it by ensuring that its dependencies are also loaded.
The tool assumes that all files to be wrapped have different names (even if found in different directories). If that is not the case, the name conflicts must be manually solved before using the tool.
There isn't yet any support for dealing with meta-predicates and advise on missing meta-predicate directives.
All source files are indented using tabs (a common setting is a tab width equivalent to 4 spaces).