[Faddey]

Please explain how to quickly insert the necessary predicate into program. For example, as it was in Vip7.4.

[Harrison Pratt]

If you are starting with a new, almost "empty," project be sure to Build the entire project first. That helps the IDE perform autocomplete.

After that, when you start typing the autocomplete suggestions should appear automatically. When they do, Tab and arrow keys will paste the start of the built-in predicates -- it's up to you to supply the parameters. It can also paste your predicates, constants, etc.

Also, remember that autocomplete has concepts of syntactic correctness -- it usually won't work where it doesn't make sense. To test this, type "clauses" then start to type "succeed" on the next line and the IDE will try to autocomplete; next try typing "predicates" and then "succeed" on the next line and you will see that there is no autocomplete suggestion.