diff --git a/solution.pl b/solution.pl
index f9b3d6d..8bfba24 100644
--- a/solution.pl
+++ b/solution.pl
@@ -11,7 +11,7 @@ Unify Tables with a list of the names of all existing tables.
 */
 tables(Tables).
 
-:- dynamic table/2.
+:- dynamic create_table/2.
 /*
 When this predicate is executed, the effect will be the creation of a new
 table with the specified list of column names (order matters!).
@@ -20,7 +20,7 @@ If a table with the given name already exists, the predicate must throw a
 descriptive exception (use throw/1).
 All exceptions must have a descriptive error message.
 */
-create table(Table, Cols).
+create_table(Table, Cols).
 
 :- dynamic cols/2.
 /*
@@ -125,14 +125,14 @@ For example:
 findall(Values, selec(persons,[+id,+first],[],Values), Projections)
 returns: Projections = [[0, "Jeffrey"], [1, "Lorena"], [2, "Joseph"], ...
 */
-selec(Table, Selectors, Conds, Projection)
+selec(Table, Selectors, Conds, Projection).
 
 :- dynamic selec/3.
 /*
 Simplified variant of the selec/4 predicate when there are no conditions
 to be checked.
 */
-selec(TableOrTables, Selectors, Projection)
+selec(TableOrTables, Selectors, Projection).
 
 :- dynamic query/2.
 /*
@@ -180,10 +180,10 @@ selec/4 predicate.
 For “INSERT”, nothing needs to be printed by query/1 or in case of
 success, and if query/2 is used the Result parameter can be ignored.
 */
-query(Query, Result)
+query(Query, Result).
 
 :- dynamic query/1.
 /*
 cf. query/2
 */
-query(Query)
\ No newline at end of file
+query(Query).
\ No newline at end of file